5 th European Conference on Model-Driven Architecture
نویسندگان
چکیده
This paper describes a systematic model-based test approach for parameterized systems with a large configuration space called REDUCE. The major goal is to reduce the complexity of the test problem represented by the large number of configurations and possible test cases. The REDUCE approach presented here combines combinatorial and model-based techniques to determine test configurations and to generate automatically meaningful test cases. Combinatorics is used to restrict the number of system configurations and to select a small and valid set of test configurations. Model-based techniques are applied to build a test model that describes the relevant stimulation sequences of the test object. Test models enable the automated generation of representative test cases and their automated evaluation. For each selected configuration, a specific test model can be derived. REDUCE has been developed and applied to a softstarter, an industrial application study from the automation domain.
منابع مشابه
th International Workshop on Aspect - Oriented Modeling
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference on Model-Driven Engineering, Languages, and Systems (MODELS), which was located in Nashville, Tennessee, on September 30, 2007. Over 20 researchers and practitioners attended the workshop with various backgrounds in a...
متن کاملTowards an MDA-based development methodology1
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases and activities of an MDAbased development trajectory, and defines the roles and products of each activity in accordance with the Software Process Engineering Metamodel (SPEM). The development methodology presented in ...
متن کاملDilaton-driven Inflation in String Cosmology
I present an outline for cosmological evolution in the framework of string theory with emphasis on a phase of dilaton-driven kinetic inflation. It is shown that a typical background of stochastic gravitational radiation is generated, with strength that may allow its detection in future gravity wave experiments. Present address: Department of Physics, Ben-Gurion University, Beer-Sheva 84105, Isr...
متن کاملBgu Ph-95/05 Cern-th/95-147 Dilaton-driven Inflation in String Cosmology
I present an outline for cosmological evolution in the framework of string theory with emphasis on a phase of dilaton-driven kinetic in ation. It is shown that a typical background of stochastic gravitational radiation is generated, with strength that may allow its detection in future gravity wave experiments. Present address: Department of Physics, Ben-Gurion University, Beer-Sheva 84105, Isra...
متن کامل